Farkas lemma

法卡斯引理